Appli ation of the Method

Model-driven QoS Provisioning for Distributed Real-time and Embedded Systems

Real-time and Embedded Systems JAIGANESH BALASUBRAMANIAN, SUMANT TAMBE, ANIRUDDHA GOKHALE, DOUGLAS C. SCHMIDT Department of EECS, Vanderbilt University, Nashville, USA and BALAKRISHNAN DASARATHY, SHRIRANG GADGIL Tel ordia Te hnologies, Pis ataway, NJ, USA Distributed real-time and embedded (DRE) systems onsist of performan e-sensitive appli ations that are deployed in resour eonstrained environ...

Speech and Language Technology in Education ( SLaTE 2007 )

learners of English Sylvain Chevalier Saybot In . Shanghai, China sylvain saybot. om Abstra t Saybot is a software appli ation whi h uses spee h proessing te hnology to help users pra ti e spoken English. It is a ommer ial appli ation available sin e O tober 2005 in China with mu h ontent designed for learners of many different pro les. In this paper, we present the strategy used and dis uss it...

Application-oriented Self-organizing Hierarchical Clustering in Dynamic Networks

We are urrently developping a suite of self-organizing lustering algorithms whi h will automati ally adapt to network dynami s in response to appli ation-spe i requirements. As a starting point, we identify groups of dynami network appli ations, or appli ation lasses, whi h will use a ommon family of lustering algorithms. Within an appli ation lass, the performan e requirements of individual ap...

A Staging Cal ulus and its Appli ation to the Veri ation of Translators ( Preliminary Report )

Appli ation of Hybrid I / O Automata in Safety Veri ation of Pit hController for Model Heli opter System